Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie

Source URL: pagesperso.lina.univ-nantes.fr

• Formal languages
• Computer science
• Applied mathematics
• Combinatorics on words
• Probabilistic automaton
• Finite-state machine
• Finite state transducer
• Nondeterministic finite automaton
• Deterministic finite automaton
• Automata theory
• Models of computation
• Theoretical computer science

BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation

Source URL: www.brics.dk

• Computing
• LR parser
• Parsing
• Bottom-up parsing
• LL parser
• Top-down parsing
• Formal grammar
• Context-free grammar
• Terminal and nonterminal symbols
• Formal languages
• Software engineering
• Programming language implementation

Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008

Source URL: www.cs.bham.ac.uk

• Model theory
• Formal languages
• Metalogic
• Predicate logic
• Functions and mappings
• Interpretation
• First-order logic
• Function
• Well-formed formula
• Logic
• Mathematics
• Mathematical logic

VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

Source URL: www.db.informatik.uni-bremen.de

• Software
• Graph rewriting
• VIATRA
• Formal methods
• Logic in computer science
• Object Constraint Language
• Model transformation language
• Kermeta
• Formal verification
• Unified Modeling Language
• Systems engineering
• Software engineering

JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

Source URL: ctan.sciserv.eu

• Theoretical computer science
• Computer science
• PGF/TikZ
• Turing machine
• Finite-state machine
• Pushdown automaton
• Models of computation
• Theory of computation
• Automata theory

Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree

Source URL: www.itu.dk

• Science
• Bigraph
• Calculus
• Formal language
• Logic
• Process calculus
• Theoretical computer science
• Mathematics
• Applied mathematics

Den 25.juni 2013 Dekanpulje til dækning af lønudgifter til studerende Puljens formål er at støtte udvalgte gymnasierettede aktiviteter hos institutter, centre, skoler og museer ved Science and Technology (i det følg

Source URL: scitech.medarbejdere.au.dk

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France

Source URL: mehdi.bouaziz.org

• Computing
• Postcondition
• Design by contract
• Abstract interpretation
• Programming language
• Formal verification
• Precondition
• Class
• Software engineering
• Theoretical computer science
• Logic in computer science

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Source URL: www.paultaylor.eu

• Functions and mappings
• Theoretical computer science
• Formal methods
• Models of computation
• Model theory
• Symbol
• Lambda calculus
• Interpretation
• Primitive recursive function
• Mathematics
• Mathematical logic
• Computability theory

Discovering Spatio-Social Motifs of Electoral Support Using Discriminative Pattern Mining∗ † ‡

Source URL: www.cs.umb.edu

• Statistics
• Data analysis
• Data mining
• Pattern recognition
• UPGMA
• Association rule learning
• Knowledge
• Formal sciences
• Science
• Machine learning